（来源：上观新闻）
“用户通常🗯🙇♀️使用自🚏🕠然语言描述🕗↩系统设计，F🐱M-Agen👨👧👦🏳️🌈t 生成的规约🖇👯也是自然💌语言，而传统🚲形式化验证🧮器只支持🚿👙基于数学🤪🇦🇽公式的推理😮，二者存🤘🎣在巨大的语✂📋义鸿沟🐬。变身A😚🦙I新贵，A🐔llbi👉💁rds🍾🎣转型分🏫🇭🇲三步走 ✝🏃♀️根据披露，🇸🇩Allb🍶🏡ird🇪🇺🎉s的转型✨之路分为三步：😃⛽ 第一步是融资👨🎓。
但一个更棘手的👴问题是：🧞♂️这些代码，真的🕥🤷♀️对吗？当🍰自动生🇰🇿🈴成的代码规模迅速🇹🇯膨胀，一个幽灵般🚖🐀的挑战始🕉终挥之不去：代码©☯能跑，但逻🎲辑深处的 bug🇹🇩🆚 多到令人🌔💃头皮发🧠🇷🇼麻👒🛠。在估值方面，🧐🎞Cereb🛣ras今年2⏱月完成约⏬10亿美元融资，📔含所融🖇🧞♀️资金计👃📓算的公司估值达🇸🇳230亿美元🦸♂️🏯1区2区3区免费，由Tig🛶💆♂️er 📊Global 🐟Managem🧻ent领投♻，参与方👩🦱包括Benc🖌hmark、富达🇩🇬🚣♀️管理研究🛀公司以🌨及超威半导体🥿（AMD🇮🇲）🆓。
